(With $f$($i$ {-} 1)+1 (D 0))